Weak Truth Table Degrees of Structures
نویسنده
چکیده
We study the weak truth table (wtt) degree spectra of first-order relational structures. We prove a dichotomy among the possible wtt degree spectra along the lines of Knight’s upward-closure theorem for Turing degree spectra. We prove new results contrasting the wtt degree spectra of finiteand infinite-signature structures. We show that, as a method of defining classes of reals, the wtt degree spectrum is, except for some trivial cases, strictly more expressive than the Turing degree spectrum.
منابع مشابه
Π1 Classes and Strong Degree Spectra of Relations
We study the weak truth-table and truth-table degrees of the images of subsets of computable structures under isomorphisms between computable structures. In particular, we show that there is a low c.e. set that is not weak truth-table reducible to any initial segment of any scattered computable linear order. Countable Π1 subsets of 2 ω and Kolmogorov complexity play a major role in the proof.
متن کاملΠ10 classes and strong degree spectra of relations
We study the weak truth-table and truth-table degrees of the images of subsets of computable structures under isomorphisms between computable structures. In particular, we show that there is a low c.e. set that is not weak truth-table reducible to any initial segment of any scattered computable linear order. Countable Π1 subsets of 2 ω and Kolmogorov complexity play a major role in the proof.
متن کاملInterpreting N in the computably enumerable weak truth talble degrees
We give a rst-order coding without parameters of a copy of (N;+;) in the computably enumerable weak truth table degrees. As a tool,we develop a theory of parameter deenable subsets. Given a degree structure from computability theory, once the undecidability of its theory is known, an important further problem is the question of the actual complexity of the theory. If the structure is arithmetic...
متن کاملThe Theories of the T, tt and wtt R. E. Degrees: Undecidability and Beyond
We discuss the structure of the recursively enumerable sets under three reducibilities: Turing, truth-table and weak truth-table. Weak truth-table reducibility requires that the questions asked of the oracle be effectively bounded. Truth-table reducibility also demands such a bound on the the length of the computations. We survey what is known about the algebraic structure and the complexity of...
متن کاملSchnorr trivial sets and truth-table reducibility
We give several characterizations of Schnorr trivial sets, including a new lowness notion for Schnorr triviality based on truth-table reducibility. These characterizations allow us to see not only that some natural classes of sets, including maximal sets, are composed entirely of Schnorr trivials, but also that the Schnorr trivial sets form an ideal in the truth-table degrees but not the weak t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 56 شماره
صفحات -
تاریخ انتشار 2015